Atomic actions for fault-tolerance using CSPJALOTE, P; CAMPBELL, R. H.IEEE transactions on software engineering. 1986, Vol 12, Num 1, pp 59-68, issn 0098-5589Article

Comments on «Estimating the number of faults in code» and two-corrections to published dataLIPOW, M.IEEE transactions on software engineering. 1986, Vol 12, Num 4, pp 584-585, issn 0098-5589Article

Concurrency and forward recovery in atomic actionsTAYLOR, D. J.IEEE transactions on software engineering. 1986, Vol 12, Num 1, pp 69-78, issn 0098-5589Article

Fiabilité des logicielsVALLEE, Frédérique.Techniques de l'ingénieur. Sécurité et gestion des risques. 2004, Vol SE1, Num SE2520, issn 1638-6981, SE2520.1-SE2520.10Article

Validating Halstead's theory with system 3 dataTRACHTENBERG, M.IEEE transactions on software engineering. 1986, Vol 12, Num 4, issn 0098-5589, 584Article

Empirically based analysis of failures in software systemsSELBY, R. W.IEEE transactions on reliability. 1990, Vol 39, Num 4, pp 444-454, issn 0018-9529Article

SREPT : Software Reliability Estimation and Prediction toolRAMANI, S; GOKHALE, S. S; TRIVEDI, K. S et al.Lecture notes in computer science. 1998, pp 27-36, issn 0302-9743, isbn 3-540-64949-2Conference Paper

Structural approach to the estimation of the number of residual software faults based on the hypergeometric distributionTOHMA, Y; TOKUNAGA, K; MURATA, Y et al.IEEE transactions on software engineering. 1989, Vol 15, Num 3, pp 345-355, issn 0098-5589Article

The effects of software inspections on a major telecommunications projectGRADEN, M. E; HORSLEY, P. S; PINGEL, T. C et al.AT&T technical journal. 1986, Vol 65, Num 3, pp 32-40, issn 8756-2324Article

Contribution à la formalisation de la qualité du logiciel = Contribution to the software quality formalisationKESSACI, Brahim.1985, 203 pThesis

Software Needs Seatbelts and AirbagsBERGER, Emery D.Communications of the ACM. 2012, Vol 55, Num 9, pp 48-53, issn 0001-0782, 6 p.Article

User-perceptions of embedded software reliabilityKUSTERS, R. J; VAN SOLINGEN, R; TRIENEKENS, J. J. M et al.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 67-82, isbn 0-412-80280-5Conference Paper

Derivation of local software quality metrics (software quality circles)POORE, J. H.Software, practice & experience. 1988, Vol 18, Num 11, pp 1017-1027, issn 0038-0644Article

Techniques for verification and validation of safety-related softwareComputers & standards. 1985, Vol 4, Num 2, pp 101-112, issn 0167-8051Article

Dependable softwareMEYER, Bertrand.Dependable systems (software, computing, networks). Lecture notes in computer science. 2006, pp 1-33, issn 0302-9743, isbn 3-540-36821-3, 1Vol, 33 p.Book Chapter

Axiomatizing software test data adequacyWEYUKER, E. J.IEEE transactions on software engineering. 1986, Vol 12, Num 12, pp 1128-1138, issn 0098-5589Article

TIRAN : Flexible and portable fault tolerance solutions for cost effective dependable applicationsBOTTI, O; DE FLORIO, V; VERHULST, E et al.Lecture notes in computer science. 1999, pp 1166-1170, issn 0302-9743, isbn 3-540-66443-2Conference Paper

Reliability analysis of recovery blocks with nested clusters of failure pointsCSENKI, A.IEEE transactions on reliability. 1993, Vol 42, Num 1, pp 34-43, issn 0018-9529Article

Liability for defective softwareLLOYD, I.Reliability engineering & systems safety. 1991, Vol 32, Num 1-2, pp 193-207, issn 0951-8320Article

Selected papers/Course on software reliability modelling and identification, Como, Italy, September 2-4, 1987BITTANTI, S.Lecture notes in computer science. 1988, Vol 341, issn 0302-9743, VII-209 pConference Proceedings

Building reliable interactive information systemsWASSERMAN, A. I; PIRCHER, P. A; SHEWMAKE, D. T et al.IEEE transactions on software engineering. 1986, Vol 12, Num 1, pp 147-156, issn 0098-5589Article

Introduction to the special section of WITS'96SEN, A; ERNST, G.Decision support systems. 1998, Vol 23, Num 4, issn 0167-9236, p. 359Article

Reliability analysis of communicating recovery blocksBERMAN, O; DINESH KUMAR, U.IEEE transactions on reliability. 1998, Vol 47, Num 3, pp 245-254, issn 0018-9529, 1Article

On allocation of resources during testing phase of a modular softwareKAPUR, P. K; BARDHAN, A. K; YADAVALLI, V. S. S et al.International journal of systems science. 2007, Vol 38, Num 6, pp 493-499, issn 0020-7721, 7 p.Article

Restricted Random TestingKWOK PING CHAN; TSONG YUEH CHEN; TOWEY, Dave et al.Lecture notes in computer science. 2002, pp 321-330, issn 0302-9743, isbn 3-540-43749-5, 10 p.Conference Paper